Browsing by Subject "Multiple operations"

Now showing items 1-1 of 1

    • Conference Object  

      Cover-ability: Consistent versioning in asynchronous, fail-prone, message-passing environments 

      Nicolaou, Nicolas C.; Fernández Anta, Antonio; Georgiou, Chryssis (Institute of Electrical and Electronics Engineers Inc., 2016)
      An object type characterizes the domain space and the operations that can be invoked on an object of that type. In this paper we introduce a new property for concurrent objects, we call coverability, that aims to provide ...